#include "stm32f10x.h"
#include "delay.h"
#include "stdio.h"
#include "usart.h"


void EXTI15_10_IRQHandler(void) 
{
	printf("The key \r\n");
	if (EXTI_GetITStatus(EXTI_Line12)!=RESET)
	{
		Delay_ms(10);
				GPIO_ResetBits(GPIOC, GPIO_Pin_13);
		Delay_ms(100);
		GPIO_SetBits(GPIOC, GPIO_Pin_13);
		Delay_ms(100);

		printf("the user_key has been pressed\n");
	}
	EXTI_ClearITPendingBit(EXTI_Line12);
}
